Gmd – Forschungszentrum Informationstechnik Gmbh Gmd Report
نویسندگان
چکیده
The integration of concepts from logic and deduction into databases and knowledge bases has created the eld of deductive databases. Logic programming provides a powerful declarative language for accessing and maintaining knowledge in databases. Techniques from relational databases and automated deduction are useful for achieving e cient retrieval and reasoning in large knowledge bases. Thus, deductive databases can be used for building intelligent information systems. The contributions in this Proceedings of the Sixth International Workshop on Deductive Databases and Logic Programming DDLP'98 are grouped into four sessions: theoretical aspects, applications, Datalog extensions, and semantics and a demo session. 3
منابع مشابه
GMD – Forschungszentrum Informationstechnik GmbH GMD Report
Groupware applications used in distributed office environments are characterized by several users accessing and manipulating a shared document pool in a collaborative context. Supporting such application with relational database persistence and object technology requires two main features: (1) a sound and generic mapping from the object-oriented application schema to the relational data model, ...
متن کاملGMD – Forschungszentrum Informationstechnik GmbH GMD Report
In this paper we describe the most importantsecurity requirements, which must be ful-filled by today's IT-systems, and the securitymeasures used to satisfy these requirements.These security measures are based on mod-ern cryptographic mechanisms as well as onsecurity infrastructures.Regarding data security and communicationsecurity in particular in the field o...
متن کاملGMD – Forschungszentrum Informationstechnik GmbH GMD Report Ralph Busse ,
In der Reihe GMD Report werden Forschungs-und Entwicklungs-ergebnisse aus der GMD zum wissenschaftlichen, nicht-kommerziellen Gebrauch veröffentlicht. Jegliche Inhaltsänderung des Dokuments sowie die entgeltliche Weitergabe sind verboten. The purpose of the GMD Report is the dissemination of research work for scientific non-commercial use. The commercial distribution of this document is prohibi...
متن کاملArbeitspapiere der GMD 875 November 1994 GMD – Forschungszentrum Informationstechnik GmbH
The support of effective interaction of the user with the other components of the system is a central problem for information retrieval. In this paper, we present a theory of such interactions taking place within a space of information-seeking strategies, and discuss how such a concept can be used to design for effective interaction. In particular, we propose a model of information retrieval sy...
متن کاملArbeitspapiere Der Gmd 580 Gmd – Forschungszentrum Informationstechnik Gmbh
The successful use of hypermedia systems is often impeded by user disorientation or cognitive overhead caused by the non-linear arrangement of hypertext nodes. In this paper, we address the related problem how a user can be supported in his/her construction of coherence during the navigation through a hyperdocument. Instead of leaving this task to the hypertext author or designer alone, we prop...
متن کامل